es{-}locl(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(loc($e$) = loc(${\it e'}$)) $\wedge$ es{-}causl(${\it es}$; $e$; ${\it e'}$)